Limit proof